Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Types for Proofs and Programs, TYPES 2007

 Автор: , Автор: , Автор:
Категория: CsLn_
Размер книги: 2.04 Mb